CatDat

Implication Details

Assumptions: generating setself-dual

Conclusions: cogenerating set

Reason: This holds by self-duality.